fix linux build script