src/: change c header identifiers (see #35)