How do I make Arduino IDE use a specific version of GCC in Debian?
As Majenko pointed out, I should have used a tarball from the official site instead of the repositories. Which makes me wonder why that package wasn't deprecated or something...