Temporary fix for Linux