The first method explained here worked for me.
I also succeed to install the driver with the 2nd methode but I had to sign the driver myself first, as explained here. To bypass the error related to the catalog file, add the following line after the version tag on the INF file :
CatalogFile.NTAMD64 = wipfwamd64.cat
I hope it helps.