trying to get promela running again: build problems