Single player no bots

This is a known issue with the 1.36 stable release for GNU/Linux x86_64. Install a test build to fix it.