added linux 32bit support