Placeholder for missing bits/user.h