it should have been necessary but apparently the check was skipped due to the way we include header files.