Now that we have the missing file, let's include it