python with flymake