Config files for the awesome window manager