fix build of aldor user guide