Reverting path change on platform.hpp, this broke some builds