Remove public prototype headers. Generating both public and private prototype headers...

Remove public prototype headers. Generating both public and private prototype headers is tricky with gmake and it's easy to break backwards compatibility for the public API with them.
(This used to be commit dee1cb6b08aa0a3e24372e052729121c11280971)