Compilation works again in Linux (using gcc)