Personal tinkering with a minecraft launch script