Added one of two fixes to see if this fixes build in Jenkins. To be
immediately merged with dev to start testing and build verification.