use debian instead

Red Hat have announced that RHEL 7 beta is now available for those with subscriptions. I doubt too many people here have Red Hat subs but this is stuff likely to be in the final RHEL 7 and thus the next major releases of Centos, Scientific Linux, etc. Some interesting changes: dropped 32 bit...