+ // Default the setup filename with a .pvs extension if none is provided
+ if (setup_file_name.isEmpty() || setup_file_name.isNull()) {
+ setup_file_name = file_name;
+ setup_file_name.truncate(setup_file_name.lastIndexOf('.'));
+ setup_file_name.append(".pvs");
+ }