Fix build by adding a missing file