/* Manually created dummy configure file */