Auf neueren Linux-Systemen (bei mir Ubuntu 14.04LTS) reicht ein
leider nicht mehr aus, um die 32Bit-Libraries zu installieren.