Properly fix the ironlangs install step.