Launcher script added to workaround a problem with curl