Reload php after extension installation