this is such that no conflicts arise when using multiple build directories.
assigned to @chichi
merged
mentioned in commit 6efc3f16