Merge pull request #764 from leider/master

change in build process