fix for newer Linux distributions