4.0.1 version released.

Minor bugfixes for the pilot 4.x version.