version 3.13

Seems like I skipped version 3.12, and we already have
a bit more than kernel 3.13 will have, but hey.