This is used for starting minecraft on Ubuntu 13.04 and up