default_install &&
# ensure that cc1 still works, as it is linked to old libmpfr
if [ -e $INSTALL_ROOT/usr/lib/libmpfr.so.4 ]; then
  rm $INSTALL_ROOT/usr/lib/libmpfr.so.4
fi &&
cp -P $INSTALL_ROOT/lib/libmpfr.so $INSTALL_ROOT/lib/libmpfr.so.4
