fix dist ini syntax, try to make travis happy