Ensure php.ini points to the correct place during compile time