bit more memory for gui/run.bat - it's 2014 after all