Delete $MIKERO$ file
Merge pull request #3 from guido2/del_weird_file

Delete $MIKERO$ file