thotvinfo is not found!