@t-paul Please check this change as it breaks on Ubuntu/BASH.