Use system-packaged minieigen, if it persists.