Modify debian directory for 32bit