Fix build server again.