[IGNORE THIS] Trying to fix build issue with #1137

DO NOT MERGE