re-enable travis-ci