use version 1.2 file-format by default