libcorkscrew: Fix build for GCC-4.8