Use vulcanized output by default