save_binary_stl