Spinroot

Hi all,
I don't think this can possibly be a spin error, but I am having problems.
I'm trying to start right at the beginning with spin, on an unfamilar ubuntu machine (I've negligable experience with linux), so it's not ideal.

I've installed, unzipped & made the 6.0.1 sources and am going through the test/README_tests.txt. I've had to slightly modify the instructions therein, hence instead of

    spin -a loops.pml

I've had to use

    ./spin -a '/home/jan/Desktop/spin/Spin/Test/loops.pml'

This shouldn't make a difference, just mentioning.

Ok until test 4: "guided simulation check (playback the error trail found in test 3)", I enter:

    ./spin -p -t loops.pml.trail

(added .trail otherwise it complains about no such file/dir). Result is:

    spin: loops.pml.trail:1, Error: syntax error    saw ''-' = 45'
    spin: cannot find trail file

Can't get round this. Can't find a spec for the format for the trail file so I don't know if it's correct or not. It does start with some negative numbers, tried removing the negatives to see what happens, just get a different error (at least this proves it's finding & reading the trail file despite what it says). Spent an hour browsing the sources, esp. lex/yacc but nothing jumps out.
Downloaded the 4.3.0 source, compiled & found same behaviour (so, definitely me being dim here).

Machine is ubuntu 10.04, 64-bit I think. FYI full trail file generated from test 3 is:

++++++++++++++++++++
-4:-4:-4
-1:-1:-1
1:0:0
2:0:1
3:0:2
4:0:7
5:0:0
6:0:1
7:0:2
8:0:7
9:0:0
10:0:3
11:0:4
12:0:7
+++++++++++++++++++++

So, what am I doing wrong?

jan