FIX: keeping the OBJS list sorted alphabetically.