Fixes #114, but this prevents us to use vai for makefiles. Not a big deal for now.