travis: workaround isse installing ADMS