Default printing

For our case, the default printing is in hex format. Changed this in the
corresponding files.