Files in build/ of 1.2

Files for check-in 1.2

and within directory /build sorted by filename