extract mint as a separate distribution, re fix #1813