[dmishe]

Yes you're right. At the same time, you probably have some other 32bit apps that forced those libs to load, e.g. Dropbox, which is still 32bit and starts with the system.