Fix failing Docker build
Some dependency used for the PDF building is not right. We roll back to a known working version.
Edited by Gabriel Gallardo
Some dependency used for the PDF building is not right. We roll back to a known working version.