Fix bug that occurs if mini-dinstall is called twice