Helper files for running Minecraft under linux