Changed portable start command under Linux to a faster one