switching to linux so I can use Redis