Updated to latest master for all three repos.
(Support Thorben's latest T-bar code.)