Fix build server error?