warn about ignoring the masked option in the geda backend