bashrc-mirage335 enhancements