[fabbione/kronosnet] 9d49e0: Fix build with different gcc