use pthread mutex rather than guile mutex