Add -short flag to alltest