Fix for compiling with g++ (looser throw specifier error)