i know this is a tiny function that's needed here, but maybe it'd be better suited in a more generic place. I was fiddling with a place for it in utils/, but couldn't come up with something... just a thought, since elsewhere in the code decisions may be made about what platform we're on