Revert previous commit
Fix another part of issue #125 : link problem with development build