libcorkscrew: GCC 4.8 fix.