Migrate out the mex extension.