Let $\alpha:(I,\partial I)\to(S^1,1)$ be an arbitrary loop. The condition that $h_*$ is trivial means that $h_*[\alpha]=[h\circ\alpha]=[\epsilon],\tag{1}$ where $[\alpha]$ denotes the homotopy class $(\operatorname{rel}\partial I)$ of $\alpha$ and $\epsilon:(I,\partial I)\to (X,h(1))$ is the constant loop defined by $\epsilon(t)=h(1)\in X$ for all $t\in I$. Taking $\alpha(t)=e^{2\pi it}$ for $t\in I$, $(1)$ means that we have a homotopy $H:I\times I\to X$, such that $H(t,0)=h(\alpha(t))=h(e^{2\pi i t})$ and $H(t,1)=\epsilon(t)=h(1)$ for all $t\in[0,1]$ and furthermore, this homotopy is $(\operatorname{rel}\partial I)$, which means that $H(0,s)=H(1,s)=h(1)$ for all $s\in I$.
Now, notice that the map $q:I\times I\to S^1\times I$ defined by $q(t,s)=(e^{2\pi i t},s)$ is a quotient map (because it is closed and surjective). This enables us to define a homotopy $K:S^1\times I\to X$ by the formula $K(e^{2\pi i t},s):=H(t,s)$, for $t\in [0,1]$. This is well defined because $H(0,s)=H(1,s)=h(1)$ and continuous because $q$ is a quotient map. But $K(e^{2\pi i t},0) = H(t,0) = h(\alpha(t))=h(e^{2\pi i t})$ and $K(e^{2\pi i t},1)=H(t,1)=h(1)$. Thus, $K$ is a homotopy from $h$ to the constant map $e^{2\pi i t}\mapsto h(1)$, which is exactly what we were trying to find.