Remove -noolddefs command line option

This was a pointless option as it is off by default.
1 file changed