Try to fix bash prompt escaping