Try to work around bug in AIDE.