Changed RHS sub character to '$'

Don't merge until we also merge schema changes

@evanmcc pointed out that `#(platform_bin_dir)` looked too much like a comment. So we changed it to `$(platform_bin_dir)`