To speed up the video use VirtualDub. I don't remeber the exact steps I took but with a bit of trial and error you will get there:
First step: reduce the frames to 1/25th. Option in VirtualDub is "process every ___ frame" and set it to 1fps. Save the video.
Second step: Speed up the video to 25fps. Save the video.