use omnibus installer for debian
Merge branch 'debian-7.1.0-amd64-base' into ubuntu-12.04.3-amd64-base