Temporary compilation fix for catch on Gcc