Summary of changes: 024ebfd... new version 5.1.3rc1 (*) 3255bf7... use --bindir, not --with-bindir (*) f00a0ea... adjust the file list (*) e41e735... new version 5.1.3 (*) (*) This commit already existed in another branch; no separate mail sent