Upgrade to scheme48 1.9