Re #9330. Path configuration for unstable/nightly on Ubuntu.