mini-dinstall