linux: updated to version 3.13.1.