Reduce the gc-cons-threshold change
Actually reset the default tab-width