Python: import re by default