fixing bug caused by new OpenSCAD version