Fix pushing and debug sprig linking