PDFs generate with different sizes on different systems