add correct type of pthread dependency