It seems that the .mov files are just references to .m4v files.

This will fetch those:

curl -s http://fabiensanglard.net/duke3d/build_engine_internals.php | grep -Eo "http.*\.mov" |sed -e 's/\.mov/-desktop.m4v/' | xargs -n1 curl -O