Android GUI: Don't crash if no file manager is installed