Moved 'tools/' -> 'extra/scripts-linux/'