Compilation fix for Travis.