Cut down travis script