Fix ISO build