Fixed Ubuntu 13.10 bug related to AMD drivers?