Another libcorkscrew fix for GCC 4.8+