B Sequential binary now building.

Woo hoo! Party!
FIxed due to a mistake of the makefile building the Promela PINS and not
the B PINS.