v5.03 bug with mutex and pthread example