diff --git a/osx b/osx
index e2af3e3..b48586d 100755
--- a/osx
+++ b/osx
@@ -1,2 +1,2 @@
-brew install lampepfl/brew/dotty
-brew test dotty
+brew install dotty.rb
+brew test dotty.rb