Don't assume "vera.ttf" always exists and pick a default font more deterministically.

[jwiggins]

If Font.findfont can't find the requested font, it falls back to FontManager.defaultFont["ttf"] which is supposed to be "vera.ttf", unless a system doesn't have that font in which case it's just the first font path found when searching the system font directories.