Fix build errors on Jenkins