Add new comment

Are the necessary changes in

Are the necessary changes in the Git repo if we build from source? I skimmed the commit logs but didn't see anything obvious and we need this too.

Thanks,