pull in some simple Makefile.in changes (also tag "1.3")#26

jhgit wants to merge 3 commits intodevttys0:masterdevttys0/libmpsse:masterfrom

jhgit:masterjhgit/libmpsse:masterCopy head branch name to clipboard