http://www.theregister.co.uk/2014/05/01/freebsd_next_to_leak_credentials/ Does the problem still exist, please?