try to fix travis for 1.12