fix #19: don't call ini_set() when not required