Fix tests: use generated dotted names.

The string dottednames were wrong: the file was renamed.

@shylux :wink: