Using the correct 32 bit linux application instead of 64 bit