Fix vararg issues on Ubuntu