Fix #471: Adapt partest to new JSEnv structure