mk: fix build with Debian/Ubuntu-specific gcc version