Updating: minorly improving libats/athread