2014-02-08-16.08.43: Minor fixes to compile under gcc 4.7 (previous development on gcc 4.4.5) and (32bit) Linux kernel 3.2 (previous development on 2.6).