small fix for the executable