fix linux makefiles