Delete diff_of_gnome-shell_configure.ac