nesC and NerdCommenter settings