Update interpreter-skeleton.oz