A workaround to sort out Travis-ci issue