trying to fix compilation error on Travis.