Reverted commit 6c6573e3 to avoid breaking scriptrepr test; no longer needed due to paramtk commit dde3e04