Fixes #1, so this runs in Ubuntu.