Fix missing extension on travisci