add hack to avoid spurious ubuntu bug