Indeed, this route would be about 13,250 km, or about 2,000 km longer than the one TLA suggests.

http://www.gcmap.com/mapui?P=10%B0+24%27+41.4%22+N,+14%B0+31...

Or, using nearby airports: https://www.greatcirclemap.com/?routes=gucy-vmmc