question about example sokoban

[yin99]

Thanks for your help!
I successfully installed ltsmin. Now I am learning the paper "LTSmin: High-Performance Language-Independent Model Checking"

In this paper, the Sokoban example was given. I tried to reproduce this example. When I execute this command for compilation

gcc told this:

Perhaps it is due to the update of the ltsmin version, so I would like to ask how to solve this problem? (Maybe using new functions and macro definitions?)