restore the extension that were broken in 1.4.7