fixed: broken compilation for linux caused by previous commit