Dealing with platform-dependent source code
