Updated to Awesome-wm 3.5