Strange platform-dependant bug