Fix month of modification date and export header

The month of the modification date wasn't being set correctly. Also, it's nice to have the header file exported automatically.