https://lists.debian.org/debian-tex-maint/2013/07/msg00036.html
Bug#534458: Any workaround ?
bugworkaround
https://lists.debian.org/debian-tex-maint/2009/10/msg00114.html
Bug#534458: Patch for this bug
bugpatch
https://lists.debian.org/debian-tex-maint/2013/07/msg00037.html
Bug#534458: Any workaround ?
bugworkaround