[PATCH] corkscrew: Fix build with gcc 4.8