Make things work in Linux