PHC k8 0.4.5.

PHC k8 0.4.5, now with Linux kernel 3.12 support, has landed.