Hi Harald,
Usually you can rebuild Debian packages using something like mkdir /tmp/packagename cd !$ apt-get source --build packagename
sorry, I did not understand what you mean. First I have to install 32bit source packages an run the commands you suggested?
Greetings, Tobias