Fixes #5999: Tests on rudder-techniques are (wrongly) failing on rudder_stdlib_core.st
Merge pull request #615 from peckpeck/bug_5999/tests_on_rudder_techniques_are_wrongly_failing_on_rudder_stdlib_core_st

Fixes #5999: Tests on rudder-techniques are (wrongly) failing on rudder_stdlib_core.st