PLAYERDRIVER_OPTION (reb build_reb OFF "Disabled by default")
PLAYERDRIVER_ADD_DRIVER (reb build_reb SOURCES reb.cc reb_params.cc)
