No POD found for ec25519_export.c. Time to read the source?