Work around gcc issue