updated package lists, switched to linux 3.13