Revised build file for Ubuntu-12.10, and upload.subr to upload
ubuntu and debian separately.