fixing the name of the static library