(Backends) Deleting unnecessary orcc_util header