fix name on disk to avoid git conflicts