apt-get-hard-reset renamed to apt-hard-reset