fixes #547 (release build ? :) )