Suppress unused label warning on gcc_linux

(as well as gcc48 linux)