fix compilation issues with linux 3.10.0