removed some INCF specifics; configured for BC13