update travis yaml, fix #12