I was updating centmin and ran into a problem. Total course of events (1-4 may be irrelevant?): 1) I went into /usr/local/src/centminmod and hit option 23. 2) I chose to update the current version. This took a while, but appeared to work. 3) Then I...