switched to shrimp for generating PDFs as it works with Windows