fix pdf compilation