Install the static library if someone knows how to rename a file at installation time with autotools it would be very welcome