Throw out export_files if exports.c is out-of-date as well. This should remove the requirement to run extraclean when we change a header file.