Fix compiling under gcc