Thanks a lot for reporting the issue, I'll try to reproduce it.
Secondly, my bash setup is loaded via a .bashrc file, not .bash_profile
The .bashrc or .bash_profile is loaded exclusively, please go to Troubleshooting section of this post:
Maybe a better solution is on the basis of the existence of .bashrc and .bash_profile files to determine where to load the .bashrc_Core_Shell from, I'll investigate.