Small change to the way we get ini files