Revered use of Thess-devel in install script.