Fix issue with texmaker caching things