No POD found for KochCurve.t. Time to read the source?