Hopefully fix prolog in Jenkins?