Fixes pavement 

Fixes pavement script to handle both the old paver API and the new paver API