Push setup tweak for hmmer