The PDF building works again !