Use fcppt::random in app