Avoid a dangerous cast in LoadSymbolMap().

Not sure if we can have any safety with an int cast like that...