Hopefully this change will make the makefile work for other people without hacking it.