Actually remove linux_3_15