work around PHP bug #68347: parse ini files in raw mode