revert to 32 bit dev_t see #12