Updated travis options, repair permission