3.18: fix makefile for build server