one more fix to max build to make Jenkins happy