timestamp for src/platform.hpp
