made it compile with gcc 4.4