Fix a build error that occurred right after installing 3rd party software