Fixed server_tools.remove_entity on Counter-Strike: Global Offensive.
Added missing Linux bianries
Fixed some errors in the menus package which could occur during a map change