fix eressea.ini for travis, again