Fix for gcc (travis linux)