Temporarily disable building the .lib. It seems we have something wrong
with the path, on Jenkins at least.