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