Updating xmonad config, fixing bug in php state