Replace a very slow regex in the Python blockfile parser with a fast one.