fixing asusdev mk file