Make the makefile more operating-system independent. Won't require changes.