tintin++ config files