theseus/vena not found