Correct bug for prerequisites and change release version number to 1.4.2 in dist.ini
Merge branch 'develop'