Gnome integration for the awesome window manager