This somehow makes things work with newest Agda.
Ignore dist/