Temporarily rename PkgObjs of instrumented packages

Fixes #51