Try of stupid hack to get PDF in RTD to work