Fixed type in linux build script