It seems like they should be an argument to `./configure` perhaps?