Files in build/extra/ of trunk

Files in directory build/extra from the latest check-in of branch trunk