src: fixed a problem in GCC