make flymake happier