Misc utilities for 3D printing