fix intermittent build failures (maybe). closes #1407