fix for #246

ftests.sh problems with /dev/tty in Jenkins
Merge remote-tracking branch 'origin/devel'
#244 two manifest tests added #169 manifest parser messages enhanced