On Dinur’s proof of the PCP theorem