Fix for running things under jenkins.