Fix default mike-plugins-dir