VgaSDL: adaptive render framerate