added repair script for enabling gnome-extensions