Fix the path to utils/builtins.h