[[ Bugfix 12921 ]] Install 32-bit and 64-bit Linux engines to different ...

...paths