Fixed to install sedflux HEAD.