PBI-9 Approval: texmaker 4.1 (amd64)