Workaround to compile with gcc 4.4.7 in release mode