Work around compatibility problem with OpenSCAD 2014.09.15