dph-lifted-base: turn off debugging