compilation using docker