enabled the DEFAULT platform by default
fixed the printing of default values when PRINT_OUTPUT is enabled