small fix that prevented proper build on certain systems