workaround to fix edoc build