Renamed "ptypes.hpp" to "Platform.hpp"