Configure: make no-whirlpool work.