Fix problem with HEAD only in travis