added support for Vagrant based building of debian files for 32bit