upgrade to linux 3.13