Fix launcher build script under linux