Mocking C libraries for ReadTheDocs