Aha! I don't need to change ./configure