use temp file for python flymake