fix for the linux version (6ef73e5)