Actually these are automatically generated by the makefile and is correct. It would be nice to change the makefiles to capitalize them though.