Improve out of source tree build
The build script on linux assumes that the build is made in the source tree. This small changes allows to easily build of of source in a completely different directory.
The build script on linux assumes that the build is made in the source tree. This small changes allows to easily build of of source in a completely different directory.