Rename p700.mk to p715.mk