ruby: message buffer: changes related to tracking push/pop times