further attempt at fixing Linux compile error