Fix debug-info option