Fix up building with gcc 4.0.1 / gas 2.16.91