Convert led/ratemon1 example to Waf.