hacks to build docs on RTD