Empty file which should include pthread types.