Updating machine-specific Makefile