remove unused match case
fix travis build to use setup.ml