version that works on debian 7.0