FIX: fix compling error in ubuntu 20.04#970

libing64 wants to merge 1 commit into

raulmur:masterraulmur/ORB_SLAM2:masterfrom

libing64:noetic-devellibing64/ORB_SLAM2:noetic-develCopy head branch name to clipboard