added gtk mutexes