Adding a missing HPX_EXPORT