texmaker: version bump