gcc41: add forgotten file
drwxr-xr-x - contrib