FIX: minor leftover from older version (wrong filename for Linux instructions)