Path integral for gauge theories with fermions