bug fix to compile with icpc