An fprintf() has two %s formats but only one additional argument. Include the name of the device file in the fprintf() call to balance the arguments and format. Change-Id: I62e702cf0bc9935897c2f85b0acc3b62b41d654a
Makes things easier for pkgsrc