Minor cleanup in linux launcher scripts