2 ms·

Thanks for the heads-up. Just pushed a fix for a pair of double-superscript errors. I can then build under Ubuntu 12.04. Hope this works for you.