On Apr 11, 2015, at 6:36 AM, j. van den hoff wrote: > very good -- thanks a lot! and I hope that you are right regarding it being easy ... Fixed. Wait 30 minutes, run "sudo port selfupdate", and then try again.