Fix sphinx documentation generation for archlinux