Fix the HyperSpec path