I'm marking this as fix released, given the comments in the ticket and since maverick and natty are no longer supported anyhow.
I'm marking this as fix released, given the comments in the ticket and since maverick and natty are no longer supported anyhow.