python/flymake updates