Removed the need of Platform.hpp, define is set in makefile