give the extension a version number (0.1.3)