079a527a3d
failing to do this may lead mtx_init() to belive they have already been initialized. Detected by: Marc Recht <marc@informatik.uni-bremen.de>