Added Linux istanbul cover command