notes re addlib.sh