/usr/bin/dotty