Apparently smartindent is 'quite old and deprecated', better remove it