Update static libraries for issue #70.