Add readMVar

This change seems to be missing in the last commit to the development branch, since it currently doesn't compile.