#508: disable code coverage for travic-ci