more options to php compilation