Fixed the issue where a game level could get inadvertently started by integrating a new version of Vegas, see #72.