Really fix dso test on Ubuntu