Fix installation on PDT 3.2 and 3.3

This simple patch will fix installation on latest PDT.