This is needed to correctly detect some debians