SignalSource.Osmosdr_Signal_Source: Undefined implementation for block

[sfosset]

Hello,

I was trying to use the docker image to run gnss-sdr with an rtl-sdr source and got this error.
It looks like the software is compiled without the Osmosdr option, despite using -DENABLE_OSMOSDR=ON in the Dockerfile ?

Error:

Initializing GNSS-SDR v0.0.9.git-next-c45c8f8 ... Please wait.
Logging will be written at "/tmp"
Use gnss-sdr --log_dir=/path/to/log to change that.
E1119 20:16:02.902289    11 gnss_block_factory.cc:1134] SignalSource.Osmosdr_Signal_Source: Undefined implementation for block
Segmentation fault (core dumped)

Config file:

[GNSS-SDR]
;######### GLOBAL OPTIONS ##################
GNSS-SDR.internal_fs_hz=2000000
;######### CONTROL_THREAD CONFIG ############
ControlThread.wait_for_flowgraph=false
;######### SIGNAL_SOURCE CONFIG ############
SignalSource.implementation=Osmosdr_Signal_Source
SignalSource.item_type=gr_complex
SignalSource.sampling_frequency=2000000
SignalSource.freq=1575420000
SignalSource.gain=60
SignalSource.AGC_enabled=true
SignalSource.enable_throttle_control=false