Tweaking BUILD.txt