well, that's the weird thing.
he said he used 4.53 and that surely has no issue with undoubled $.

checked and 4.10 is the first version that does not require doubling the $ sign.
so, he is using really old version.