Use the remote prettyPrint for the time being