fix eressea.ini for travis