Remove remnant of old Linux build system