Are we vulnerable to the recently announced BASH bug?