Don't mix old and new ini file format