include required platform.h in cconfig.h

closes #1