Revert "Minor updates"

Reverts rock-core/tools-orocosrb#18, it causes too much trouble in common cases.