Work around a Ubuntu compiler bug

I have no idea what the problem is here, but this change appears to
have fixed it...