python: make sure to build the sqlite extension (again).