Fixing bash errors on some machines