ScalES-PPM

This minor update fixes minor flaws in the build system and one test case.
API and implementation remains the same compared to 1.0.8 and 1.0.8.1, i.e if you already have a successful build, there is no need to update.