Fix build with pthread (not working though).