Apparently it wasn't even working for me, so this might fix it on Linux too