tiny fix in linux build script