Removed no-longer-used system-specific BASH files