Workaround for readthedocs pdf generation bug