Make sure not to use C++ headers - fixes #18