there is no need for adding these, since the `compiled` directory is in our `.gitignore`.