Merge branch 'develop'
Merge branch 'develop'
Remove spurious error messages
Merge pull request #319 from julry/cleanup_build

Remove spurious error messages