Try to fix linux build after r198136.

$ needs to be written $$ in makefiles, but not in cmakefiles.