This works too, but yes, we do want it to be src/...
It'll be fixed once this is rebased.