daenuprobst/theia not found