Fix -split-objs: there was a bad interaction with the recent changes