adding 32bit debian60