added a way to get the build number of a device