timestamp for libplatform/config.h
