Cleaned up spacing in compat/builtins.h