added platform-dependent files