removed traces of flymake to use flycheck instead