Add hack to make RTD use old theme.