8000 -> 8080, precise64 -> wheezy