NotFound airtight-compilation