Hey Eric/Gary: Are there extra options we should pass to ./waf configure to catch these types of errors in our gitlab bots? I'm happy to update our .gitlab-ci.yml to do extra checking so we detect these before users do. Thanks, -Matt