Fix dependency of specinfra