I wanted to tell you that I fixed the sources for all devices (Including mako) and it should build successfully !
All I need now is to test the builds to be ready to release the Android 4.3.1 stable build !
Hope is today !!!!!
Sent from my GT-I9505 using Tapatalk 4 Beta