Bash: record_* causes issues in some corner cases
Bash: Remove some obsolete aliases