Adding platform-dependant code