Merge pull request #154 from karlmoritz/master

Modified PID for Linux/non-async [ref #153]
Use 'main.tex' as main file if it exists
Merge pull request #155 from michamos/main-dot-tex

Use 'main.tex' as main file if it exists