Support for 3.13.0-35-generic