Better flagging of IS_COMPILED