auto: Change pretty-exact to pp-exact