This file also the nice replace of " = " with "="