update travis yaml, fix #10