make hwdeint enabled by default in linux