I think this fixes the makefile. Sorry about that.