[cctbxbb] Best place to get ccp4io, boost, etc?