ea0a89bde8
This was needed until we had autotools in place. https://gitlab.gnome.org/GNOME/mutter/merge_requests/585
This was needed until we had autotools in place. https://gitlab.gnome.org/GNOME/mutter/merge_requests/585