Maybe this fixes the Makefile under Linux?