@ahmadia --- what is the canonical way to get this path in <#>? This seems platform dependent.