Ignore the generated splay-tool.
  Replaced splay.c with splay(.pl)

  That was a no-brainer.