Remove a __LINUX_USER__ leftover