This avoids including a non-installed header file here, which broke the
build for external users.