bin/compile: I forgot to change this file