Ensure compatibility with TeX Live 2012/Debian