Including the definition of the smartfp7 server and its services