restore hack to work around riccardo's machine compilation

10.8 test system doesn't need it....