added platform.h in all C files for reference (will later be changed)