If `configure` is run without arguments the prefix is `/usr/` which is very unintuitive because it's `/usr/local/` by default. On most systems `/usr/local/bin/` is before `/usr/bin/` in `PATH`. experienced with v4.3.1
Yes, it should be /usr/local, patch sent.