Bugfixes for g++ in gaul