configs and hacks for awesome wm