Make docker-tex2png.sh Linux-ready
I'm a moron