I did think about that, but wouldn't people complain about having a now-useless file of several megabytes lying around in /usr? Though perhaps the script could be told to delete that if you ran it with root privileges.