Rename mini-dinstall to mini-dinstall.py