You could also just use platforms.linux here.