Add a mangler option to replace the default mangler. Bump version.