Generate upside-down STL for printing, per my local printer's
recommendation