add script for building linux binaries in Debian 6 chroot
regenerate the public headers