re-named library file metis to metis4