Fix up includes for the sample exec.html.