Remove prettyprint.hpp I don't really need it