# to be done but configure requires it or fails