Minor changes to fix the travis build (broken after the changes related to the
Tizonia config file)