Separate public header to be included in the auto-generated one?