Official release 1.9.13
Fix bugs concerning repeated missing pdftex and overwritten language files