Revert some changes in gcc-post