build: fix ModelSim target