[bare_design] cli output_file_basename for stl