ERROR: user 'vegan+destructor' not found!