Merge branch 'develop' into travis
Update .travis.yml: run ./configure by using dash
Abort if test command in ./configure script reports "unexpected operator" error
Empty commit for sending a ping to travis
Merge branch 'develop' into travis-kill-bashism
Merge branch 'travis-kill-bashism' into release-1.4