sage-doc: fix paths