get rid of redbook ifdefs