Hack to work around broken GCC alignment