updated to linux-3.13.7