Qualify the import of the Tactics module.

This way, we don't get a warning about ambiguous imports.