fix for Linux Gcc4.8.2