Travis build 25 Fix for prettyprint plugin