Update sources for bt-semaphore and trivial-tco. Fixes #554.