linux specific fix