Some extension for flymake