Fix #58: ignora ref de semáforos