[bash] Removing machine specific stuff