Fix #667: Not reading ini file properly