no longer need this record in compat.h