gtlaunch is *not* OS independent.