fix linking on 32 bit systems