Patch by Khaledhosny to make documentation work (with recent XeLaTeX)