#! /usr/bin/env bash
echo "Deleting old headers"
rm -f "$SAGE_LOCAL"/include/mpfrcx.h
rm -f "$SAGE_LOCAL"/lib/libmpfrcx.*
