Fixing build trouble with GCC (#5)