use a compressed file for the var.demo