Fixes #13: Seed the Python random module