use https so travis is happier