remove prettyprint as it is not always available