Build Scripts

see the .git/hooks/pre-push script