Minor bugfix so that deploy-gnome-settings.sh can be executed from anywhere.