Hmm, that might work. I'm not sure though. @JeffBezanson @StefanKarpinski any ideas?