fix mercurial revision used to get tamarin-redux workspace