office/texmaker: Upgraded to 4.1