another inc/ fix
added .proverc to ignore