--- a/progs/fun/fun.sc	Thu Jan 20 08:58:38 2022 +0000
+++ b/progs/fun/fun.sc	Mon Jan 24 00:00:33 2022 +0000
@@ -166,7 +166,12 @@
 }
 
 
-import ammonite.ops._
+// pre-2.5.0 ammonite 
+// import ammonite.ops._
+
+// post 2.5.0 ammonite
+import $ivy.`com.lihaoyi::os-lib:0.8.0` 
+import os._
 
 def compile_to_file(prog: List[Decl], class_name: String) : Unit = 
   write.over(pwd / s"$class_name.j", compile(prog, class_name))