- fix building with linux 3.10
- rel 13