Small update of travis: travis does not have check framework