properly rename to build.log when old build.log doesn't exist
Merge pull request #368 from haarg/devel

properly rename to build.log when old build.log doesn't exist