Update Makefile. Change some platform-related issues.