Tentative tweak to build the docs on ReadTheDocs