testsmt/janus not found