fix up dev_t as 32 bits for osx and linux