This change breaks cmake builds as it does not copy platform.hpp into src