clipper update to 5.1.3-svn