Fix the name: apparently it's "Simulator-vixl.h" now.