Merge branch 'hotfix/4.0.1'
Merge branch 'release/5.0.0'
Added suppression of save prompt before compilation
Merge branch 'hotfix/5.0.1' into develop