add -coverage as option