Provide a plugin with tools to handle ptex files