Restored travis CI
Remove useless option