### Dummy makefile, always succeeds
.DEFAULT:;