Push otherlibs (v 4.00.1 instead of trunk's version)