[misc] A more appropriate name for config header