Updated to a version of vegas that contains a fix for an issue with the display of best times at the end of the game, see #67.