Has the US just effectively outlawed file encryption?