correction for compilation flags for backend