(Promela) A quick fix to stop messing up the build system.