modified PHP ini for our purposes