Try to fix compilation errors on readthedocs.org