removing mihini doesn't delete /var/opt/mihini anymore