look for tintin++ in current directory as well