INSTALL-xubuntu-12.10: Allow it to executed as a shell script.