fix clover file name in travis build config