add a target to make a gray version
minor modifications to adhere to LNCS