* Move GetTickCount() hacks to porting.h and replace by a real call to SDL_GetTicks().