Fix pkgname in pavement file