some systems need pthread to build the simulator