platform related bugfix in the tests