Make source configurable when using --coverage

Change-Id: If5cd9e517d66322027408a59fd99015c91181db8
Closes-bug: #1310008