Gentoo files for skinny