Added tmp directory for flymake