Does the minecraft launcher for linux still not work?